This PR contains mainly fixes to issues found via an LLM reading.
Other changes:

• Bumped document version to EAC1
• Makefile used to depend on xxxLines.tex files, which were removed in a previous PR so I've added an explicit dependency on .tex files and asl.spec.
• The reference used the old rule for annotate_stmt_STry, not the auto-generated one, for some reason. It now refers to the auto-generated one.
• bot is now completely internal and does not appear in the reference nor in any spec file.
• Function and relation notations are now consistent throughout the document (instead of having both f : A -> B and f(A) -> B we have just the latter form).
• Cartesian product types now all use (A, B) where A and B are types to denote their Cartesian product type.
• Converted Some and None to some and none throughout the document and spec (asl.spec and builtins.spec).
• The concept of "configuration domain" is unused and was therefore removed.
• Excluded runt. files from trailing whitespace check.